Optimal. Leaf size=154 \[ -\frac {\sqrt {d+e x} (b (c d-b e)+c (2 c d-b e) x)}{b^2 d (c d-b e) \left (b x+c x^2\right )}+\frac {(4 c d+b e) \tanh ^{-1}\left (\frac {\sqrt {d+e x}}{\sqrt {d}}\right )}{b^3 d^{3/2}}-\frac {c^{3/2} (4 c d-5 b e) \tanh ^{-1}\left (\frac {\sqrt {c} \sqrt {d+e x}}{\sqrt {c d-b e}}\right )}{b^3 (c d-b e)^{3/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.17, antiderivative size = 154, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 4, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.190, Rules used = {754, 840, 1180,
214} \begin {gather*} -\frac {c^{3/2} (4 c d-5 b e) \tanh ^{-1}\left (\frac {\sqrt {c} \sqrt {d+e x}}{\sqrt {c d-b e}}\right )}{b^3 (c d-b e)^{3/2}}+\frac {(b e+4 c d) \tanh ^{-1}\left (\frac {\sqrt {d+e x}}{\sqrt {d}}\right )}{b^3 d^{3/2}}-\frac {\sqrt {d+e x} (c x (2 c d-b e)+b (c d-b e))}{b^2 d \left (b x+c x^2\right ) (c d-b e)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 214
Rule 754
Rule 840
Rule 1180
Rubi steps
\begin {align*} \int \frac {1}{\sqrt {d+e x} \left (b x+c x^2\right )^2} \, dx &=-\frac {\sqrt {d+e x} (b (c d-b e)+c (2 c d-b e) x)}{b^2 d (c d-b e) \left (b x+c x^2\right )}-\frac {\int \frac {\frac {1}{2} (c d-b e) (4 c d+b e)+\frac {1}{2} c e (2 c d-b e) x}{\sqrt {d+e x} \left (b x+c x^2\right )} \, dx}{b^2 d (c d-b e)}\\ &=-\frac {\sqrt {d+e x} (b (c d-b e)+c (2 c d-b e) x)}{b^2 d (c d-b e) \left (b x+c x^2\right )}-\frac {2 \text {Subst}\left (\int \frac {-\frac {1}{2} c d e (2 c d-b e)+\frac {1}{2} e (c d-b e) (4 c d+b e)+\frac {1}{2} c e (2 c d-b e) x^2}{c d^2-b d e+(-2 c d+b e) x^2+c x^4} \, dx,x,\sqrt {d+e x}\right )}{b^2 d (c d-b e)}\\ &=-\frac {\sqrt {d+e x} (b (c d-b e)+c (2 c d-b e) x)}{b^2 d (c d-b e) \left (b x+c x^2\right )}+\frac {\left (c^2 (4 c d-5 b e)\right ) \text {Subst}\left (\int \frac {1}{\frac {b e}{2}+\frac {1}{2} (-2 c d+b e)+c x^2} \, dx,x,\sqrt {d+e x}\right )}{b^3 (c d-b e)}-\frac {(c (4 c d+b e)) \text {Subst}\left (\int \frac {1}{-\frac {b e}{2}+\frac {1}{2} (-2 c d+b e)+c x^2} \, dx,x,\sqrt {d+e x}\right )}{b^3 d}\\ &=-\frac {\sqrt {d+e x} (b (c d-b e)+c (2 c d-b e) x)}{b^2 d (c d-b e) \left (b x+c x^2\right )}+\frac {(4 c d+b e) \tanh ^{-1}\left (\frac {\sqrt {d+e x}}{\sqrt {d}}\right )}{b^3 d^{3/2}}-\frac {c^{3/2} (4 c d-5 b e) \tanh ^{-1}\left (\frac {\sqrt {c} \sqrt {d+e x}}{\sqrt {c d-b e}}\right )}{b^3 (c d-b e)^{3/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.71, size = 149, normalized size = 0.97 \begin {gather*} \frac {-\frac {b \sqrt {d+e x} \left (-b c d+b^2 e-2 c^2 d x+b c e x\right )}{d (-c d+b e) x (b+c x)}-\frac {c^{3/2} (4 c d-5 b e) \tan ^{-1}\left (\frac {\sqrt {c} \sqrt {d+e x}}{\sqrt {-c d+b e}}\right )}{(-c d+b e)^{3/2}}+\frac {(4 c d+b e) \tanh ^{-1}\left (\frac {\sqrt {d+e x}}{\sqrt {d}}\right )}{d^{3/2}}}{b^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.52, size = 160, normalized size = 1.04
method | result | size |
derivativedivides | \(2 e^{3} \left (\frac {c^{2} \left (\frac {b e \sqrt {e x +d}}{2 \left (b e -c d \right ) \left (c \left (e x +d \right )+b e -c d \right )}+\frac {\left (5 b e -4 c d \right ) \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (b e -c d \right ) c}}\right )}{2 \left (b e -c d \right ) \sqrt {\left (b e -c d \right ) c}}\right )}{b^{3} e^{3}}+\frac {-\frac {b \sqrt {e x +d}}{2 d x}+\frac {\left (b e +4 c d \right ) \arctanh \left (\frac {\sqrt {e x +d}}{\sqrt {d}}\right )}{2 d^{\frac {3}{2}}}}{b^{3} e^{3}}\right )\) | \(160\) |
default | \(2 e^{3} \left (\frac {c^{2} \left (\frac {b e \sqrt {e x +d}}{2 \left (b e -c d \right ) \left (c \left (e x +d \right )+b e -c d \right )}+\frac {\left (5 b e -4 c d \right ) \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (b e -c d \right ) c}}\right )}{2 \left (b e -c d \right ) \sqrt {\left (b e -c d \right ) c}}\right )}{b^{3} e^{3}}+\frac {-\frac {b \sqrt {e x +d}}{2 d x}+\frac {\left (b e +4 c d \right ) \arctanh \left (\frac {\sqrt {e x +d}}{\sqrt {d}}\right )}{2 d^{\frac {3}{2}}}}{b^{3} e^{3}}\right )\) | \(160\) |
risch | \(-\frac {\sqrt {e x +d}}{d \,b^{2} x}+\frac {e \,c^{2} \sqrt {e x +d}}{b^{2} \left (b e -c d \right ) \left (c e x +b e \right )}+\frac {5 e \,c^{2} \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (b e -c d \right ) c}}\right )}{b^{2} \left (b e -c d \right ) \sqrt {\left (b e -c d \right ) c}}-\frac {4 d \,c^{3} \arctan \left (\frac {c \sqrt {e x +d}}{\sqrt {\left (b e -c d \right ) c}}\right )}{b^{3} \left (b e -c d \right ) \sqrt {\left (b e -c d \right ) c}}+\frac {e \arctanh \left (\frac {\sqrt {e x +d}}{\sqrt {d}}\right )}{d^{\frac {3}{2}} b^{2}}+\frac {4 \arctanh \left (\frac {\sqrt {e x +d}}{\sqrt {d}}\right ) c}{\sqrt {d}\, b^{3}}\) | \(202\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 293 vs.
\(2 (146) = 292\).
time = 3.13, size = 1212, normalized size = 7.87 \begin {gather*} \left [\frac {{\left (4 \, c^{3} d^{3} x^{2} + 4 \, b c^{2} d^{3} x - 5 \, {\left (b c^{2} d^{2} x^{2} + b^{2} c d^{2} x\right )} e\right )} \sqrt {\frac {c}{c d - b e}} \log \left (\frac {2 \, c d - 2 \, {\left (c d - b e\right )} \sqrt {x e + d} \sqrt {\frac {c}{c d - b e}} + {\left (c x - b\right )} e}{c x + b}\right ) + {\left (4 \, c^{3} d^{2} x^{2} + 4 \, b c^{2} d^{2} x - {\left (b^{2} c x^{2} + b^{3} x\right )} e^{2} - 3 \, {\left (b c^{2} d x^{2} + b^{2} c d x\right )} e\right )} \sqrt {d} \log \left (\frac {x e + 2 \, \sqrt {x e + d} \sqrt {d} + 2 \, d}{x}\right ) - 2 \, {\left (2 \, b c^{2} d^{2} x + b^{2} c d^{2} - {\left (b^{2} c d x + b^{3} d\right )} e\right )} \sqrt {x e + d}}{2 \, {\left (b^{3} c^{2} d^{3} x^{2} + b^{4} c d^{3} x - {\left (b^{4} c d^{2} x^{2} + b^{5} d^{2} x\right )} e\right )}}, -\frac {2 \, {\left (4 \, c^{3} d^{3} x^{2} + 4 \, b c^{2} d^{3} x - 5 \, {\left (b c^{2} d^{2} x^{2} + b^{2} c d^{2} x\right )} e\right )} \sqrt {-\frac {c}{c d - b e}} \arctan \left (-\frac {{\left (c d - b e\right )} \sqrt {x e + d} \sqrt {-\frac {c}{c d - b e}}}{c x e + c d}\right ) - {\left (4 \, c^{3} d^{2} x^{2} + 4 \, b c^{2} d^{2} x - {\left (b^{2} c x^{2} + b^{3} x\right )} e^{2} - 3 \, {\left (b c^{2} d x^{2} + b^{2} c d x\right )} e\right )} \sqrt {d} \log \left (\frac {x e + 2 \, \sqrt {x e + d} \sqrt {d} + 2 \, d}{x}\right ) + 2 \, {\left (2 \, b c^{2} d^{2} x + b^{2} c d^{2} - {\left (b^{2} c d x + b^{3} d\right )} e\right )} \sqrt {x e + d}}{2 \, {\left (b^{3} c^{2} d^{3} x^{2} + b^{4} c d^{3} x - {\left (b^{4} c d^{2} x^{2} + b^{5} d^{2} x\right )} e\right )}}, -\frac {2 \, {\left (4 \, c^{3} d^{2} x^{2} + 4 \, b c^{2} d^{2} x - {\left (b^{2} c x^{2} + b^{3} x\right )} e^{2} - 3 \, {\left (b c^{2} d x^{2} + b^{2} c d x\right )} e\right )} \sqrt {-d} \arctan \left (\frac {\sqrt {x e + d} \sqrt {-d}}{d}\right ) - {\left (4 \, c^{3} d^{3} x^{2} + 4 \, b c^{2} d^{3} x - 5 \, {\left (b c^{2} d^{2} x^{2} + b^{2} c d^{2} x\right )} e\right )} \sqrt {\frac {c}{c d - b e}} \log \left (\frac {2 \, c d - 2 \, {\left (c d - b e\right )} \sqrt {x e + d} \sqrt {\frac {c}{c d - b e}} + {\left (c x - b\right )} e}{c x + b}\right ) + 2 \, {\left (2 \, b c^{2} d^{2} x + b^{2} c d^{2} - {\left (b^{2} c d x + b^{3} d\right )} e\right )} \sqrt {x e + d}}{2 \, {\left (b^{3} c^{2} d^{3} x^{2} + b^{4} c d^{3} x - {\left (b^{4} c d^{2} x^{2} + b^{5} d^{2} x\right )} e\right )}}, -\frac {{\left (4 \, c^{3} d^{3} x^{2} + 4 \, b c^{2} d^{3} x - 5 \, {\left (b c^{2} d^{2} x^{2} + b^{2} c d^{2} x\right )} e\right )} \sqrt {-\frac {c}{c d - b e}} \arctan \left (-\frac {{\left (c d - b e\right )} \sqrt {x e + d} \sqrt {-\frac {c}{c d - b e}}}{c x e + c d}\right ) + {\left (4 \, c^{3} d^{2} x^{2} + 4 \, b c^{2} d^{2} x - {\left (b^{2} c x^{2} + b^{3} x\right )} e^{2} - 3 \, {\left (b c^{2} d x^{2} + b^{2} c d x\right )} e\right )} \sqrt {-d} \arctan \left (\frac {\sqrt {x e + d} \sqrt {-d}}{d}\right ) + {\left (2 \, b c^{2} d^{2} x + b^{2} c d^{2} - {\left (b^{2} c d x + b^{3} d\right )} e\right )} \sqrt {x e + d}}{b^{3} c^{2} d^{3} x^{2} + b^{4} c d^{3} x - {\left (b^{4} c d^{2} x^{2} + b^{5} d^{2} x\right )} e}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{x^{2} \left (b + c x\right )^{2} \sqrt {d + e x}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 1.35, size = 253, normalized size = 1.64 \begin {gather*} \frac {{\left (4 \, c^{3} d - 5 \, b c^{2} e\right )} \arctan \left (\frac {\sqrt {x e + d} c}{\sqrt {-c^{2} d + b c e}}\right )}{{\left (b^{3} c d - b^{4} e\right )} \sqrt {-c^{2} d + b c e}} - \frac {2 \, {\left (x e + d\right )}^{\frac {3}{2}} c^{2} d e - 2 \, \sqrt {x e + d} c^{2} d^{2} e - {\left (x e + d\right )}^{\frac {3}{2}} b c e^{2} + 2 \, \sqrt {x e + d} b c d e^{2} - \sqrt {x e + d} b^{2} e^{3}}{{\left (b^{2} c d^{2} - b^{3} d e\right )} {\left ({\left (x e + d\right )}^{2} c - 2 \, {\left (x e + d\right )} c d + c d^{2} + {\left (x e + d\right )} b e - b d e\right )}} - \frac {{\left (4 \, c d + b e\right )} \arctan \left (\frac {\sqrt {x e + d}}{\sqrt {-d}}\right )}{b^{3} \sqrt {-d} d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.22, size = 2500, normalized size = 16.23 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________